Free hypermodules: a categorical approach

Abstract

In category theory, the existence of free objects is very important, especially free modules that play an important role in homological algebra. Although algebraic hyperstructures are a natural extension of algebraic structures, due to the major difference between them, study-free objects in algebraic hyperstructures become very difficult. In this article, we provide a categorical approach for the construction of free hypermodules. In fact, by considering appropriate morphisms between hypermodules, we characterize free hypermodules from three different perspectives.     

基于光学和扫描显微平台的微尺度实验力学检测技术和装置研究

本文基于光学和扫描显微平台,介绍了本研究组在微尺度实验力学检测技术和设备方面的最新研究成果。在检测技术方面涉及显微散斑干涉技术、微标记阵列检测技术、晶粒变形分析技术、光学探针动静态变形分析技术;在检测系统和装置方面介绍了新近开发的双视场薄膜检测系统、散斑微干涉系统、微标记检测平台、AFM和SEM单轴拉伸装置、三维微定位与加载系统、微力传感器及其标定装置、微动平台驱动装置等。探讨了微尺度实验力学检测中的问题和新的检测技术,给出了一些典型的应用和相关装置。     

Constructing the Co cyclic Structures for Crossed Copro duct Coalgebras

In this paper, we construct a cocylindrical object associated to two coal-gebras and a cotwisted map. It is shown that there exists an isomorphism between the cocyclic object of the crossed coproduct c...     

面向对象有限元程序的类设计

传统有限元程序设计中的许多问题可以通过面向对象程序设计方法加以解决。本文介绍了我们尝试采用ＢｏｒｌａｎｄＣ＋＋２．０进行的一种面向对象有限元程序设计，着重进行有限元程序的类划分与定义，并将几个典型的类设计成类等级。面向对象语言的继承性、封装性、多态性等特性在我们的程序设计中均得到了运用。与传统的有限元程序（通常采用Ｆｏｒｔｒａｎ）相比，面向对象有限元程序更加结构化、更易于编写、更易于维护和扩充，程序代码的可重用成分更大，它为开发大型有限元分析软件提供了一条新途径     

光学目标模拟器总体结构方案分析及关键技术

光学目标模拟器是光学成像制导仿真系统中的关键设备之一。本文在介绍圆弧导轨式和框架式两种光学目标模拟器机械结构方案的基础上，详细分析了框架式机械结构的诸多优点。最后，总结了框架式目标模拟器研制中的一些关键技术     

傅里叶变换投影栅线法测量大物体的变形

本文利用傅里叶变换投影栅线技术对大物体的离面变形进行了测量，分析了大物体的尺寸给测量过程带来的主要矛盾，讨论了方法的灵敏度和精度，用计算机数值模拟技术给出了大尺寸引起的频率变化所带来的误差。结果表明，傅里叶变换投影栅线技术可以用于大尺寸物体离面变形的精确测量。     

A monocular pose measurement method of a translation-only one-dimensional object without scene information

A monocular method to measure the pose of a translation-only one-dimensional (1D) object containing at least two known characteristic points is presented. The position of any other point on the 1D object can be located after the pose measurement. Scene information is not needed to apply the method. If the distance between the characteristic points is unknown, there is a scale factor between the object's real positions and the measurement results. The method can also be used to measure the pose and shape parameters of a parallelogram, prism or cylinder object.     

A combined approach of Kullback–Leibler divergence and background subtraction for moving object detection in thermal video

In this work, a robust method for moving object detection in thermal video frames has been proposed by including Kullback–Leibler divergence (KLD) based threshold and background subtraction (BGS) technique. A trimmed-mean based background model has been developed that is capable enough to reduce noise or dynamic component of the background. This work assumed that each pixel has normally distributed. The KLD has computed between background pixel and a current pixel with the help of Gaussian mixture model. The proposed threshold is useful enough to classify the state of each pixel. The post-processing step uses morphological tool for edge linking, and then the flood-fill algorithm has applied for hole-filling, and finally the silhouette of targeted object has generated. The proposed methods run faster and have validated over various real-time based problematic thermal video sequences. In the experimental results, the average value of F₁-score, area under the curve, the percentage of correct classification, Matthew’s correlation coefficient show higher values whereas total error and percentage of the wrong classification show minimum values. Moreover, the proposed-1 method achieved higher accuracy and execution speed with minimum false alarm rate that has been compared with proposed-2 as well as considered peer methods in the real-time thermal video.